#include "../gnulib-lib/file-ostream.c"